1. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
2. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
3. Computability in context :
Author: editors, S. Barry Cooper, Andrea Sorbi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
Classification :
QA9
.
59
.
C655
2011
4. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
5. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
6. Proceedings of the ... Annual ACM Symposium on Theory of Computing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
Classification :
QA
267
.
A27a
2002
7. <The> theory of computability
Author: / R. Sommerhalder, S.C. Van Westrhenen
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms,Computational complexity,Computable functions
Classification :
QA9
.
58
.
S64
1988
8. The theory of computability : programs, machines, effectiveness, and feasibility
Author: Sommerhalder, R.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Algorithms,، Computational complexity,، Computable functions
Classification :
QA
9
.
58
.
S64
1988
9. Theory and applications of models of computation :
Author: Mitsunori Ogihara, Jun Tarui (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
T36
2011eb
